An Algorithm for Forward Reduction in Sequence-Based Software Specification
نویسندگان
چکیده
منابع مشابه
An Algorithm for Forward Reduction in Sequence-Based Software Specification
Sequence-based software specification is a rigorous method for deriving a formal system model based on informal requirements, through a systematic process called sequence enumeration. Under this process, stimulus (input) sequences are considered in a breadth-first manner, with the expected system response to each sequence given. Not every sequence needs to be further extended by the enumeration...
متن کاملAn Expert System Based Software for Reduction of Sequence Networks
This paper describes a new Expert System Based Software for Reduction of Sequence Networks. The main aim is to develop a new tool that helps students to reduce the corresponding sequence networks to its simplest form. Reduction of sequence networks is important for power system fault analysis. The equivalent positive-, negativeand zerosequences are represented as a series and series-parallel co...
متن کاملImpact of Sequence-based Software Specification on Statistical Software Testing
The combination of sequence-based software specification with statistical software testing yields direct benefits of reduced start-up and communication overhead and the potential for automated generation of initial usage models and test oracles. Indirect benefits include better developer and system engineer understanding of external usability issues and an emphasis on external events which supp...
متن کاملA partition-based algorithm for clustering large-scale software systems
Clustering techniques are used to extract the structure of software for understanding, maintaining, and refactoring. In the literature, most of the proposed approaches for software clustering are divided into hierarchical algorithms and search-based techniques. In the former, clustering is a process of merging (splitting) similar (non-similar) clusters. These techniques suffered from the drawba...
متن کاملAn Animation Tool for Supporting Specification-Based Software Architectures
One of the important issues in supporting specification-based software architectures is how to verify that formal specifications of a software system satisfy liveness, safety and timing constraints, and are consistent and complete with regard to user requirements. Animation has been proposed as one of the techniques for achieving this goal. This article presents a practical approach and a tool ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Software Engineering and Knowledge Engineering
سال: 2016
ISSN: 0218-1940,1793-6403
DOI: 10.1142/s0218194016400118